without proof corrections

См. также в других словарях:

• proof — noun 1》 evidence establishing a fact or the truth of a statement.     ↘Law the evidence in a trial.     ↘the proving of the truth of a statement.     ↘a series of stages in the resolution of a mathematical or philosophical problem. 2》 a test or… …   English new terms dictionary

• Turing's proof — First published in January 1937 with the title On Computable Numbers, With an Application to the Entscheidungsproblem , Turing s proof was the second proof of the assertion (Alonzo Church proof was first) that some questions are undecidable :… …   Wikipedia

• Gödel's ontological proof — is a formalization of Saint Anselm s ontological argument for God s existence by the mathematician Kurt Gödel.St. Anselm s ontological argument, in its most succinct form, is as follows: God, by definition, is that than which a greater cannot be… …   Wikipedia

• Foul proof — Foul Foul (foul), a. [Compar. Fouler ( [ e]r); superl. {Foulest}.] [OE. foul, ful, AS. f[=u]l; akin to D. vuil, G. faul rotten, OHG. f[=u]l, Icel. f[=u]l foul, fetid; Dan. fuul, Sw. ful foul, Goth. f[=u]ls fetid, Lith. puti to be putrid, L.… …   The Collaborative International Dictionary of English

• Philosophiæ Naturalis Principia Mathematica —   Title page of Principia , first edition (1687) Original title …   Wikipedia

• Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… …   Wikipedia

• Ehrenfest paradox — The Ehrenfest paradox concerns the rotation of a rigid disc in the theory of relativity.In its original formulation as presented by Paul Ehrenfest 1909 in the Physikalische Zeitschrift, it discusses an ideally rigid cylinder that is made to… …   Wikipedia

• Kali's Child — Kali s Child: The Mystical and the Erotic in the Life and Teachings of Ramakrishna , was a 1995 psychoanalytic study of the Indian mystic Ramakrishna written by religion scholar Jeffrey J. Kripal. [ [http://www.press.uchicago.edu/cgi… …   Wikipedia

• Torquato Tasso — Infobox writer name = Torquato Tasso |thumb|220px|right caption = birth date = birth date|1544|3|11|df=y birth place = Sorrento, Italy1 death date = death date and age|1595|4|25|1544|3|11|df=y death place = Rome, Italy occupation = Poet, Novelist …   Wikipedia

• Theory — The word theory has many distinct meanings in different fields of knowledge, depending on their methodologies and the context of discussion.In science a theory is a testable model of the manner of interaction of a set of natural phenomena,… …   Wikipedia

• Catullus, Gaius Valerius — born с 84, Verona, Cisalpine Gaul died с 54 BC, Rome Roman poet. Few facts about his life are certain. Of 116 extant poems, 25 portray an intense and unhappy affair with a married woman ( Lesbia ); others reflect an affair with the youth… …   Universalium